Nuprl Definition : rng_when
6,26
postcript
pdf
when
b
.
p
== when
b
.
p
latex
clarification:
when{
r
}
b
.
p
== when{
r
+gp}
b
.
p
latex
Definitions
when
b
.
p
,
r
+gp
origin
+gp} b. p +gp} b. p +gp